linear programming mip compliant coal erp milp colorado coal coal coal mining coal power enterprise optimization clean coal large scale optimization mining coal transportation climate change optimization mine